El-Fakih, Khaled : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (34)
Les plus populaires
Liste
- Liste
- Tableau

An Integer Linear Programming model and Adaptive Genetic Algorithm approach to minimize energy consumption of Cloud computing data centers

Ibrahim, Huda, Aburukba, Raafat O., El-Fakih, Khaled

Journal:

Computers & Electrical Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2018

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon, Portugal (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants

Badawi, Emad, El-Fakih, Khaled, Barlas, Gerassimos

Année:

2018

Langue:

english

Fichier:

PDF, 3.27 MB

english, 2018

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

Journal:

Computer Networks

Année:

2007

Langue:

english

Fichier:

PDF, 1.37 MB

english, 2007

On adaptive experiments for nondeterministic finite state machines

Kushik, Natalia, El-Fakih, Khaled, Yevtushenko, Nina, Cavalli, Ana R.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2016

Langue:

english

Fichier:

PDF, 885 KB

english, 2016

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines

El-Fakih, Khaled, Haddad, Abdul Rahim, Aleb, Nassima, Yevtushenko, Nina

Journal:

Applied Soft Computing

Année:

2016

Langue:

english

Fichier:

PDF, 1.52 MB

english, 2016

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines

El-Fakih, Khaled, Barlas, Gerassimos, Ali, Mustafa, Yevtushenko, Nina

Journal:

International Journal of Parallel Emergent and Distributed Systems

Année:

2017

Langue:

english

Fichier:

PDF, 2.10 MB

english, 2017

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

El-Fakih, Khaled, Bochmann, Gregor von

Journal:

IEEE Transactions on Software Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2018

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana R. Cavalli, Nina Yevtushenko

Journal:

Information and Software Technology

Année:

2010

Langue:

english

Fichier:

PDF, 948 KB

english, 2010

Progressive solutions to a parallel automata equation

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor v. Bochmann

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 373 KB

english, 2006

Studying the separability relation between finite state machines

Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko

Journal:

Software Testing, Verification and Reliability

Année:

2007

Langue:

english

Fichier:

PDF, 296 KB

english, 2007

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino

Journal:

Distributed Computing

Année:

2003

Langue:

english

Fichier:

PDF, 295 KB

english, 2003

A GA-based movie-on-demand platform using multiple distributed servers

Gerassimos Barlas, Khaled El-Fakih

Journal:

Multimedia Tools and Applications

Année:

2008

Langue:

english

Fichier:

PDF, 598 KB

english, 2008

Petri net-based protocol synthesis with minimum communication costs

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann, Teruo Higashino

Journal:

Journal of the Franklin Institute

Année:

2006

Langue:

english

Fichier:

PDF, 333 KB

english, 2006

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets

Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled

Année:

2008

Langue:

english

Fichier:

PDF, 498 KB

english, 2008

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning

Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled

Année:

2008

Langue:

english

Fichier:

PDF, 223 KB

english, 2008

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 ||

Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled

Année:

2008

Langue:

english

Fichier:

PDF, 8.92 MB

english, 2008

A practical approach for testing timed deterministic finite state machines with single clock

El-Fakih, Khaled, Yevtushenko, Nina, Simao, Adenilso

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2014

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Extended Finite State Machine Based Test Derivation Driven by User Defined Faults

El-Fakih, Khaled, Kolomeez, Anton, Prokopenko, Svetlana, Yevtushenko, Nina

Année:

2008

Langue:

english

Fichier:

PDF, 675 KB

english, 2008

[IEEE 2013 IEEE 10th International Conference on Ubiquitous Intelligence & Computing and 2013 IEEE 10th International Conference on Autonomic & Trusted Computing (UIC/ATC) - Italy (2013.12.18-2013.12.21)] 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing - PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in a Smart-Home

Mizumoto, Teruhiro, El-Fakih, Khaled, Yasumoto, Keiichi

Année:

2013

Langue:

english

Fichier:

PDF, 407 KB

english, 2013

[IEEE 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Beijing, China (2009.08.24-2009.08.26)] 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors

Kitani, Tomoya, Nakahashi, Ryo, El-Fakih, Khaled, Higashino, Teruo

Année:

2009

Langue:

english

Fichier:

PDF, 556 KB

english, 2009

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria

El-Fakih, Khaled, Simao, Adenilso, Jadoon, Noshad, Maldonado, Jose Carlos

Année:

2014

Langue:

english

Fichier:

PDF, 436 KB

english, 2014

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions

Yevtushenko, Nina, El-Fakih, Khaled, Villa, Tiziano, Jiang, Jie-Hong R.

Journal:

The Computer Journal

Année:

2015

Langue:

english

Fichier:

PDF, 478 KB

english, 2015

Distinguishing extended finite state machine configurations using predicate abstraction

El-Fakih, Khaled, Yevtushenko, Nina, Bozga, Marius, Bensalem, Saddek

Journal:

Journal of Software Engineering Research and Development

Année:

2016

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2016

An Assessment of Extended Finite State Machine Test Selection Criteria

El-Fakih, Khaled, Simao, Adenilso, Jadoon, Noshad, Maldonado, Jose Carlos

Journal:

Journal of Systems and Software

Année:

2016

Langue:

english

Fichier:

PDF, 728 KB

english, 2016

Test Translation for Embedded Finite State Machine Components

El-Fakih, Khaled, Yevtushenko, Nina

Journal:

The Computer Journal

Année:

2016

Langue:

english

Fichier:

PDF, 1022 KB

english, 2016

[IEEE 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO) - Sharjah, United Arab Emirates (2017.4.4-2017.4.6)] 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO) - Parallel implementation for deriving preset distinguishing experiments of nondeterministic finite state machines

Haddad, Abdul Rahim, El-Fakih, Khaled, Barlas, Gerassimos

Année:

2017

Langue:

english

Fichier:

PDF, 286 KB

english, 2017

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

El-Fakih, Khaled, Yevtushenko, Nina, Kushik, Natalia

Journal:

Formal Aspects of Computing

Année:

2018

Langue:

english

Fichier:

PDF, 1.30 MB

english, 2018

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Tvardovskii, Aleksandr, El-Fakih, Khaled, Gromov, Maxim, Yevtushenko, Nina

Journal:

Automatic Control and Computer Sciences

Année:

2017

Langue:

english

Fichier:

PDF, 283 KB

english, 2017

[ACM Press the international workshop - Stevenson, Washington, USA (2005.06.13-2005.06.14)] Proceedings of the international workshop on Network and operating systems support for digital audio and video - NOSSDAV '05 - A formal approach to design optimized multimedia service overlay

Yamaguchi, Hirozumi, El-Fakih, Khaled, Hiromori, Akihito, Higashino, Teruo

Année:

2005

Langue:

english

Fichier:

PDF, 195 KB

english, 2005

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines

El-Fakih, Khaled, Yevtushenko, Nina, Saleh, Ayat

Journal:

The Computer Journal

Année:

2018

Langue:

english

Fichier:

PDF, 7.64 MB

english, 2018

Scheduling Internet of Things requests to minimize latency in hybrid fog-cloud computing

Aburukba, Raafat O., AliKarrar, Mazin, Landolsi, Taha, El-Fakih, Khaled

Journal:

Future Generation Computer Systems

Année:

2019

Langue:

english

Fichier:

PDF, 1.69 MB

english, 2019

Scheduling Internet of Things requests to minimize latency in hybrid fog-cloud computing

Aburukba, Raafat O., AliKarrar, Mazin, Landolsi, Taha, El-Fakih, Khaled

Journal:

Future Generation Computer Systems

Année:

2019

Fichier:

PDF, 1.69 MB

2019

Energy aware simulation and testing of smart-spaces

El-Fakih, Khaled, Mizumoto, Teruhiro, Yasumoto, Keiichi, Higashino, Teruo

Journal:

Information and Software Technology

Année:

2020

Fichier:

PDF, 1.23 MB

2020

$\mathcal{K}$-branching UIO sequences for partially specified observable non-deterministic FSMs

El-Fakih, Khaled, Hierons, Robert Mark, Turker, Uraz cengiz

Journal:

IEEE Transactions on Software Engineering

Année:

2020

Fichier:

PDF, 1.07 MB

2020